#pragma once

#include <asm/sdei.h>
